21. Formal description technique
Author: / edited by K.R. Parker, G.A. Rose
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
Classification :
QA
76
.
6
.
I185
1992
22. Formal description techniques, II
Author: / Edited by Son T. Vuong
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I1778
1989
23. Formal description techniques III
Author: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I185
1990
24. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
25. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
26. Introduction a la theorie des langages
Author: Moreau, Rene
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming languages )Electronic computers(
Classification :
QA
267
.
3
.
M67
27. Mathematical foundations of computer science
Author: edited by A. Blikle
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
5
.
S4
S89
1974
28. Mathematical foundations of computer science 1995
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
Classification :
QA267
.
M38
1995
29. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
M37
30. Mathematical foundations of computer science : symposium at ..
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
45
,
etc
...
31. Mathematical foundations of computer science : symposium at ..
Author: A. Kreczmar, G. Mirkowska )Eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
379
32. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
Author: A. Tarlecki )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
520
33. Methods of algorithmic language implementation
Author: edited by A. Ershov and C. H. A. Koster
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
47
34. Methods of algorithmic language implementation
Author: edited by A. Ershov and C.H.A. Koster
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
47
35. New trends in formal languages
Author: / Gheorghe P??un, Arto Salomaa, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers),Formal languages.,Parsing (Computer grammar)
Classification :
QA
,
76
.
7
,.
N49
,
1997
36. New trends in formal languages :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Formal languages ; Parsing (Computer grammar) ;
37. New trends in formal languages : control, cooperation, and combinatorics
Author: Gheorghe Paun, Arto Salomaa )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Formal languages,، Parsing )Computer grammar(
Classification :
QA
76
.
L28
Vol
.
1218
38. Simple program schemes and formal languages
Author: Engelfriet, Joost.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
39. Simple program schemes and formal languages
Author: Engelfriet, Joost
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
40. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
